Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
421	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
422	On Ontology and Epistemology of Rough Location Thomas Bittner Department of Geoinformation Technical University Vienna Gusshausstr, A-1040 Vienna, Austria Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Mathematical logic Mereology Predicate logic Geographic information system Rough set Topology Mereotopology
423	D-ADMM: A DISTRIBUTED ALGORITHM FOR COMPRESSED SENSING AND OTHER SEPARABLE OPTIMIZATION PROBLEMS João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 2 Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2012-01-20 04:32:38 Algorithm Mathematical logic Theoretical computer science Distributed computing Game artificial intelligence Routing algorithms Augmented Lagrangian method
424	MCS 401 – Computer Algorithms I Syllabus Lev Reyzin SpringTime and Location: M-W-F, 11:00-11:50pm, Behavioral Sciences Building (BSB) 319 Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-11 11:39:54 Algorithm Mathematical logic Theoretical computer science Course
425	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2012-07-17 05:12:14 Mathematical logic Modal logic Term Herbrand interpretation Ground expression
426	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
427	1 Distributed Basis Pursuit João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel Abstract—We propose a distributed algorithm for solving the Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 NP-complete problems Algorithm Mathematical logic Theoretical computer science NP Eigenvalues and eigenvectors HeldKarp algorithm Belief propagation
428	PASS LOCATION TO FACILITATE THE DIRECT EXTRACTION OF WARNTZ NETWORKS FROM GRID DIGITAL ELEVATION MODELS David Wilcox and Harold Moellering Department of Geography Ohio State University Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:26:33 Cartography Algorithm Mathematical logic Theoretical computer science Robert Haralick Digital elevation model
429	Lecture 14 Recursion Andries van D am © 2015 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-27 00:27:14 Recursion Theoretical computer science Mathematical logic Computability theory Subroutines Factorial This Recursive definition While loop
430	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning

UPDATE